application of seismic waveform tomography in an engineering seismic cross-hole study

seismic tomography is an imaging technique which creates maps of subsurface elastic properties such as p/s wave velocity, density and attenuation, based on observed seismograms and use of sophisticated inversion algorithms. amongst different acquisition geometries, seismic cross-hole tomography has a special position in geophysical surveys with many applications in hydrocarbons, coal and other minerals exploration and engineering purposes investigations related to constructions. main goal of these studies is obtaining precise information about the earth structure (layers structure, impedance of layers, faults and fractures) or anomalies (objects, pipes, voids).   traveltime tomography is a conventional approach to convert special phase of waveform travletimes (such as p or s wave arrivals) to corresponding parameters. low computational effort is needed to perform traveltime tomography, but the results suffer from the lack of high resolution. seismic waveform tomography is an efficient tool for high resolution imaging of complex geological structures and has been widely used by researchers in the field of exploration seismology. as waveform tomography exploits waveforms, in addition to traveltimes, it has superior resolution comparing to traveltime tomography but its computational complexities have limited its everyday use in real world applications. in this study we focus on application of waveform tomography in an engineering purpose seismic cross-hole study. our approach relies on solution of acoustic wave equation in frequency domain and minimizing residual of calculated wavefield and observed seismograms. frequency domain approach lets simultaneous sources modeling and implementing frequency dependent absorption mechanisms. this approach leads to a large system of equations. to solve the large system of equations sparse direct solvers can be used. the mixed-grid finite-difference used to discretize continuous second order hyperbolic acoustic wave equation. although elastic modeling is more the realistic and near to observed data, most researchers prefer to use acoustic wave equation instead of elastic one due to lower computational costs. instead, we pre-process the observed data to increase comparability of observations and modeling. these pre-processing include suppressing phases cannot be explained by acoustic modeling such as s waves or rayleigh waves or scaling seismograms to take into account amplitude vs. offset effects in acoustic and elastic cases. waveform tomography is very a nonlinear problem with a very rugged cost function. to overcome this nonlinearity, we solve the problem using hierarchical approaches. we start inversion from low frequency components, where the cost function is smoother, and then proceed to higher components. lower frequency inversion results have been used as initial velocity model for higher frequency inversion. a synthetic example has been used to test the performance of the algorithm in the absence and presence of noise. as the results show the performance of current waveform tomography algorithm decreases in case of noisy data, which implies the importance of denoising before inversion and/or employing regularization. another strategy which helps to control noise issue is simultaneous inversion of frequency components in different groups, as showed in real data example. lastly a real cross-hole dataset acquired for engineering purposes has been studied. the traveltime tomography result is used as starting model for waveform tomography. the results of waveform tomography are in agreement with downhole measurements.